Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
41	Scaling Contracts to Realistic Languages A dissertation presented by T. Stephen Strickland Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-05-11 21:04:51 Contract law Racket Futures contract Contract Semantics Law of obligations Programming language Software engineering Computing Computer programming
42	Validating Library Usage Interactively? William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha University of Wisconsin, Madison, WI, USA { wrharris, aliang, shanlu, jha }@cs.wisc.edu Abstract. Programmers who develop Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-05-03 16:27:37 Computing Logic in computer science Theoretical computer science Programming language semantics Abductive reasoning Charles Sanders Peirce Operational semantics ALGOL 68 Algorithm Procedural programming languages Programming language theory Software engineering
43	Katahdin Mutating a Programming Language’s Syntax and Semantics at Runtime Chris Seaton The University of Bristol Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Computing Computer programming Parsing expression grammar Recursive descent parser LL parser Left recursion LR parser Operator associativity Syntax Software engineering Formal languages Parsing
44	DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Formal languages Compiler construction Parsing Programming language implementation Programming language Syntax Compiler-compiler Memoization Formal grammar Computing Software engineering Computer programming
45	Granularity and Concurrent Separation Logic Jonathan Hayman Computer Laboratory, University of Cambridge Abstract. When defining the semantics of shared-memory concurrent programming languages, one conventionally has to Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-07 11:14:44 Concurrency Diagrams Petri net Mathematical logic Mathematics Heap Separation logic Theoretical computer science Models of computation Logic in computer science
46	Pointcuts and Advice in Higher-Order Languages David B. Tucker and Shriram Krishnamurthi Department of Computer Science Brown University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:24 Aspect-oriented programming AspectJ Join point Pointcut Lambda calculus Closure Continuation Denotational semantics Grammatical aspect Software development Software Aspect-oriented software development
47	DRA FRONT END FILTER PROJECT Specification of SSQL Semantics I Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:05 Computing ALGOL 68 HOL Programming language theory Procedural programming languages Software engineering
48	A Semantics for Pointcuts and Advice in Higher-Order Languages David B. Tucker and Shriram Krishnamurthi Department of Computer Science Brown University Providence, RI 02912 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:38 Computing Aspect-oriented programming AspectJ Pointcut Join point Advice Closure Aspect ALGOL 68 Software development Software Aspect-oriented software development
49	DRA FRONT END FILTER PROJECT Specification of SSQL Semantics II Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:09 Procedural programming languages Functional languages ALGOL 68 C++ HOL KeY Id C++ classes Sequence container Programming language theory Computing Software engineering
50	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics

UPDATE